Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Hermann Tjabben"'
Publikováno v:
Intelligent Networks and Intelligence in Networks ISBN: 9781475755459
This paper focuses on the application control functionality required for future interactive multi-user, multimedia applications. Accordingly a new service control reference model is described which is part of a more general Multimedia Reference Model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a02bee44fbc3521d745e5b86b4ad0608
https://doi.org/10.1007/978-0-387-35066-0_21
https://doi.org/10.1007/978-0-387-35066-0_21
Autor:
Hermann Tjabben, Stephan Kleuker
Publikováno v:
FME'96: Industrial Benefit and Advances in Formal Methods ISBN: 9783540609735
FME
FME
Provably correct software can only be achieved by basing the development process on formal methods. For most industrial applications such a development never terminates because requirements change and new functionality has to be added to the system.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d79b536235c085edfebc1b238d73ec2e
https://doi.org/10.1007/3-540-60973-3_103
https://doi.org/10.1007/3-540-60973-3_103