![]() |
|
Dr. Mats P.E. Heimdahl |
A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z
http://www-users.cs.umn.edu/~heimdahl/
University of Minnesota Twin Cities Department of Computer Science, 4-192 EE/CSci Bldg. 200 Union Street S.E. Minneapolis, Minnesota 55455 USA
1999:
/Leveson, 1999/ Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future
/Thompson , 1999/ Specification-based Prototyping for Embedded Systems
![]() ![]() ![]() ![]() ![]() ![]() |