Verification of concurrent systems in a model driven engineering workflow
S.M.J. de Putter
Verification of concurrent systems in a model driven engineering workflow
In het kort
ISBN-13
9789038646787
Verschenen
28 januari 2019
Bibliografisch
ISBN-139789038646787
SerieProefschriftenreeks TU Eindhoven — deel 21
Editie1
TaalEngels eng
Pagina’s214
GeïllustreerdJa
Uitgave
Vorm & inhoud
ProductvormPaperback BC
SamenstellingLos product
Classificatie
NUR (hoofd)Informatica algemeen 980
NUR (alle)980 Informatica algemeen
Medewerkers
Auteur A01S.M.J. de Putter
Herkomst
Werk-id (NSTC)500354151
MeldingBevestigd bij publicatie 03
Bijgewerkt6 augustus 2026
Lijkt op dit boek
Dit is voor iedereen
The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework
The ELM AI Data Modelling Framework - B&W edition
Microsoft Flight Simulator 2024 Made Easy for PS5
Proceedings of the 4th Workshop on Gender-Inclusive Translation Technologies (GITT 2026)
Proceedings of the First Workshop on Style in GenAI-Translated Content - StyGenAI
Proceedings of the 1st International Workshop on Teaching AI-based Translation and Technologies (TAITT 2026)
Mastering Microsoft Flight Simulator 2024
The Killer Isn't Alice
NSTC 500354151 · CB-relatie 8180218 · Bijgewerkt 6 augustus 2026