Torsten K. Iversen - Concepedia

Author

Torsten K. Iversen

Also Known As

Torsten K. Iversen

Publications

Citations

H-Index

Concepts

All Affiliations

Torsten K. Iversen is an author at Aalborg University specializing in systems engineering, computer science, and system software.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	82
2	Computer Engineering	2	2	82
3	Computer Science	2	2	82
4	Systems Engineering	2	2	82
5	Asynchronous Systems	1	1	48

Torsten K. Iversen

Publications

Citations

H-Index

Page 1

	Year	Citations
Model-checking real-time control programs: verifying LEGO MINDSTORMS<sup>TM</sup> systems using UPPAAL Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, EngineeringVerificationComputer-aided VerificationModel CheckingVerification Tool Uppaal	2000	48
Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, BRICS Report Series EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	1999	34

Page 1