( en | de | ru )

 

Disambiguation of "Larsson, Fredrik"

Author of the publication

copydeleteadd this publication to your clipboard
Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems

, , , , and . Proc.\ of Workshop on Verification and Control of Hybrid Systems III, 1066, page 232--243. Springer, (October 1995)

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.

Andreas Larsson

Willi Larsson

Emil Larsson

Joachim Larsson

Lars Larsson

 

Other publications of authors with the same name

Uppaal --- a Tool Suite for Automatic Verification of Real--Time Systems, , , , and . Proc.\ of Workshop on Verification and Control of Hybrid Systems III, 1066, page 232--243. Springer, (October 1995)A micromorphic phase-field model for brittle and quasi-brittle fracture., , and . CoRR, (2022)Verification of an Audio Protocol with Bus Collision Using UPPAAL., , , , , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 244-256. Springer, (1996)UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems., , , , and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 232-243. Springer, (1995)On Memory-Block Traversal Problems in Model-Checking Timed-Systems., , and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 127-141. Springer, (2000)UPPAAL in 1995., , , , and . TACAS, volume 1055 of Lecture Notes in Computer Science, page 431-434. Springer, (1996)Weakly periodic boundary conditions for the homogenization of flow in porous media., , and . Adv. Model. Simul. Eng. Sci., 1 (1): 12:1-12:24 (2014)Verdict machinery: on the need to automatically make sense of test results., , , , , , , and . ISSTA, page 225-234. ACM, (2016)Phase-field fracture irreversibility using the slack variable approach., , and . CoRR, (2022)Organizational Structure in IT Governance: A Case Study of an IT Governance Implementation Project., , and . AMCIS, Association for Information Systems, (2015)