Scientific conference in universities or research centers (Scientific conferences in universities or research centers)
Timed Automata, Weights and Abstractions
Main, James
2022
 

Files


Full Text
reading-group130122.pdf
Author postprint (4.64 MB)
Download

All documents in ORBi UMONS are protected by a user license.

Send to



Details



Research center :
CREMMI - Modélisation mathématique et informatique
Disciplines :
Mathematics
Computer science
Author, co-author :
Main, James ;  Université de Mons - UMONS > Faculté des Sciences > Service de Mathématiques effectives
Language :
English
Title :
Timed Automata, Weights and Abstractions
Publication date :
13 January 2022
Event name :
UMONS Formal Methods Reading Group
Event organizer :
Mickael Randour
Event place :
Mons, Belgium
Event date :
January 13, 2022
Research unit :
S820 - Mathématiques effectives
Research institute :
R150 - Institut de Recherche sur les Systèmes Complexes
Name of the research project :
5555 - ASP-Randour - ControlleRS - Fédération Wallonie Bruxelles
3284 - CQ-Randour - ManySynth - Fédération Wallonie Bruxelles
Funders :
F.R.S.-FNRS - Fonds de la Recherche Scientifique [BE]
Available on ORBi UMONS :
since 19 December 2022

Statistics


Number of views
1 (1 by UMONS)
Number of downloads
2 (1 by UMONS)

Bibliography


Similar publications



Contact ORBi UMONS