Author of the publication

Topology-based Geometric Modelling for Biological Cellular Processes.

, , , , and . LATA, Report 35/07, page 497-508. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties., , , , and . TAP, volume 11823 of Lecture Notes in Computer Science, page 167-185. Springer, (2019)Topology-based Geometric Modelling for Biological Cellular Processes., , , , and . LATA, Report 35/07, page 497-508. Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona, (2007)A Theory of Probabilistic Functional Testing., , and . ICSE, page 216-226. ACM, (1997)Formal Analysis of the Wnt/β-catenin through Statistical Model Checking., , , and . ISoLA (2), volume 8803 of Lecture Notes in Computer Science, page 193-207. Springer, (2014)Towards Heterogeneous Formal Specification., , and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 458-472. Springer, (1996)MetAcsl: Specification and Verification of High-Level Properties., , , , and . CoRR, (2018)Timed Conformance Testing for Orchestrated Service Discovery., , and . FACS, volume 7253 of Lecture Notes in Computer Science, page 133-150. Springer, (2011)Feature Specification and Static Analysis for Interaction Resolution., , and . FM, volume 4085 of Lecture Notes in Computer Science, page 364-379. Springer, (2006)Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing., , , and . ICTSS, volume 7641 of Lecture Notes in Computer Science, page 119-135. Springer, (2012)Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks., , , and . ICST Workshops, page 168-175. IEEE, (2019)