Brian Nielsen

From MaRDI portal
Person:633289

Available identifiers

zbMath Open nielsen.brianMaRDI QIDQ633289

List of research outcomes





PublicationDate of PublicationType
Distributed Algorithms for Time Optimal Reachability Analysis2018-02-16Paper
Learning deterministic probabilistic automata from a model checking perspective2018-01-12Paper
Scenario-based verification of real-time systems using UPPAAL2011-03-31Paper
Formal Approaches to Software Testing2009-06-04Paper
Formal Approaches to Software Testing2005-12-02Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q27695972002-02-05Paper

Research outcomes over time

This page was built for person: Brian Nielsen

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:633289&oldid=6678301"
Powered by MediaWiki