Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Explore
Statistics
Help
Start on ORBi
MyORBi
Legal Information
Add your ORCID
Generate a list of publication
About
What's ORBi
Visibility
Release notes
Back
Home
Detailled Reference
Download
Scientific conference in universities or research centers (Scientific conferences in universities or research centers)
Timed Automata, Weights and Abstractions
Main, James
2022
Permalink
https://hdl.handle.net/20.500.12907/43994
Files
Send to
Details
Statistics
Bibliography
Similar publications
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
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
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)
More statistics
Bibliography
Similar publications
Contact ORBi UMONS