Finn Kristoffersen
According to our database1,
Finn Kristoffersen
authored at least 9 papers
between 1992 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
2019
2016
Proceedings of the System Analysis and Modeling. Technology-Specific Aspects of Models, 2016
2015
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015
2005
Proceedings of the SDL 2005: Model Driven, 2005
1996
Comput. Networks ISDN Syst., 1996
1992
A Common Semantics Representation for SDL and TTCN.
Proceedings of the Protocol Specification, 1992
Testability in the Context of SDL.
Proceedings of the Protocol Specification, 1992
Test derivation for SDL based on ACTs.
Proceedings of the Formal Description Techniques, 1992