Canyam
AI summaries for academic research
Home
Literature Help
Subscribe
Favorites
Tools
Analysis
Summary
Patents
Patent Payment
Patent Search
Not logged in
Back
Journal Details
F
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
IF
0
Papers
2
Citations
0
Related Insights
0
subscribe
Journal Papers
2
Related Insights
0
Journal Papers
2
Publication Date
Publication Date
IF
Citations
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty
formal modeling and analysis of timed systems (formats
IF
0
2022-08-29
1
PRE
AI
Niehage, Mathis; Remke, Anne
Share
Save
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2015)
IF
0
2015-08-22
17
PRE
AI
Wognsen, Erik Ramsgaard; Haverkort, Boudewijn R.; Jongerden, Marijn; Hansen, Rene Rydhof; Larsen, Kim Guldstrand
Share
Save
.png){kind=icon}
Not logged in.png){kind=icon}
Not logged in.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}