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

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

8 Konferenceartikel i proceeding
1 Tidsskriftartikel
1 Working paper

1 resultater

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 s.
Publikation: Working paper/Preprint › Working paper › Forskning

Åben adgang
Fil

295 Downloads (Pure)