Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
Discussion
View history
Purge
English
Log in
HyPro
(Q39932)
From MaRDI portal
Jump to:
navigation
,
search
No description defined
Language
Label
Description
Also known as
English
HyPro
No description defined
Statements
described by source
Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
0 references
MaRDI profile type
MaRDI software profile
0 references
source code repository
https://github.com/hypro/hypro
0 references
Identifiers
swMATH work ID
28218
0 references
Software Heritage ID
swh:1:snp:f06cab640c33e1dc29ae615093ab7434ea557fa3
source code repository
https://github.com/hypro/hypro
point in time
4 October 2023
0 references
Sitelinks
Mathematics
(1 entry)
mardi
Software:39932
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Concept URI
