Dimitra Giannakopoulou,
Dominique Mery
FM 2012: Formal Methods
18th International Symposium, Paris, France, August 27-31, 2012. Proceedings
Paperback Engels 2012 2012e druk 9783642327582
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Specificaties
ISBN13:9783642327582
Taal:Engels
Bindwijze:paperback
Aantal pagina's:488
Uitgever:Springer Berlin Heidelberg
Druk:2012
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Verification.- synthesis.- runtime monitoring.- testing and controller synthesis.- novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan