ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

Skou, Arne (Project Participant)
Larsen, Kim Guldstrand (Project Participant)
Nielsen, Brian (Project Participant)
David, Alexandre (Project Participant)
Nyman, Ulrik (Project Participant)
Mikucionis, Marius (Project Participant)
Olsen, Petur (Project Participant)
Boudjadar, Jalil (Project Participant)
Kim, Jin Hyun (Project Participant)

8 Article in proceeding
1 Journal article
1 Working paper

1 results

Filter

2014

Model checking process algebra of communicating resources for real-time systems
Boudjadar, J., Kim, J. H., Larsen, K. G. & Nyman, U., 2014, 10 p.
Research output: Working paper/Preprint › Working paper › Research

Open Access
File

302 Downloads (Pure)