Johan Blom
Orcid: 0000-0002-0510-8067
According to our database1,
Johan Blom
authored at least 15 papers
between 1993 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
2016
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016
2005
Future Gener. Comput. Syst., 2005
Future Gener. Comput. Syst., 2005
2004
Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004
2003
Future Gener. Comput. Syst., 2003
Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003
1997
Formalisation of Requirements with Emphasis on Feature Interaction Detection.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997
1995
Automatic Detection of Feature Interactions in Temporal Logic.
Proceedings of the Feature Interactions in Telecommunications III, 1995
1994
Using temporal logic for modular specification of telephone services.
Proceedings of the Feature Interactions in Telecommunications Systems, 1994
Proceedings of the Formal Systems Specification, 1994
1993
J. Vis. Commun. Image Represent., 1993