[Lecture Notes in Computer Science] Software Engineering for Resilient Systems Volume 9823 || Formal Verification of the On-the-Fly Vehicle Platooning Protocol
- 作者Crnkovic, Ivica; Troubitsyna, Elena
- 文件大小1753.28KB
- 发表时间2016
- DOI10.1007/978-3-319-45892-2_5
- 页码62-75
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation ||Zylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation || Sociological Perspective of the Creative SocietyZylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation || Design Patterns for Creative Education ProgramsZylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation || Cultural Differences in the Understanding of History on WikipediaZylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation || Predicting 2016 US Presidential Election Polls with Online and Media VariablesZylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation || The Citizen IS the Journalist: Automatically Extracting News from the SwarmZylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016
[Springer Proceedings in Complexity] Designing Networks for Innovation and Improvisation || Workshop Generator Patterns: A Supporting Tool for Creating New Values in a WorkshopZylka, Matthäus P.; Fuehres, Hauke; Fronzetti Colladon, Andrea; Gloor, Peter A. · 2016