Susanne Braun
Architecting Safe Eventually Consistent Systems
PhD Theses in Experimental Software Engineering, Band 75
Hrsg.: Dieter Rombach, Peter Liggesmeyer, Frank Bomarius; Fraunhofer IESE, Kaiserslautern
2023, 261  S., num. illus. and. tab, Softcover
Fraunhofer Verlag

mehr Infos

 

Jasmin Jahic
Supervised Testing of Embedded Concurrent Software
PhD Theses in Experimental Software Engineering, Band 70
Hrsg.: Frank Bomarius, Peter Liggesmeyer, Dieter Rombach; Fraunhofer IESE, Kaiserslautern
2021, 196  S., num. illus. and tab., Softcover
Fraunhofer Verlag

mehr Infos

 

Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Lecture Notes in Computer Science Vol.255
Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency
1987, x, 519   S., X, 519 p. 235 mm, Softcover
Springer, Berlin

mehr Infos