Commit e3041db1 authored by Tatiana Chuprina's avatar Tatiana Chuprina
Browse files

YELLOW

pictures added to rating
refs 3350
parent fa3b82c5
constraints.html 99b74887c7daf7d19aafe20e2311f06c7e0a687e YELLOW
deployment_synthesis.html fdefd512ab97f06219b89c76abbc7972bec0541f YELLOW
dse_dashboard.html 90d86d806247f4328288ea1db769275f6f3ab724 YELLOW
objectives.html 3c8401ec82332fab245b07ba4dc5a36e96318b52 YELLOW
platform_synthesis.html e91cb3aef4bbb3f703b4ec4bedceb3d0b93b7192 YELLOW
schedule_synthesis.html 692000653236bc5a255dd6ea864cc7fe83d4900e YELLOW
visualization.html a591e0c69b22207e71d647a6d33a044170e3dbe0 YELLOW
MIRA.aspects.html 78adaf837d624939ad8a5077b5b1755b5af452b0 YELLOW
MIRA.export_report.html af72568fd6c41c9f1344c373fef46bb510899073 YELLOW
MIRA.glossary.html 2edb19918f5fbc79e18aee4e9552f0bba5ba668b YELLOW
MIRA.interfacebehaviour.html c65887c7a197959a00db9ab7b08ca58407897739 YELLOW
MIRA.requirement_source.html f9b89ed715d8fe4fe52c6d285098ae5fb5e62b90 YELLOW
MIRA.requirements.html 18374147417597a63b893cfff5fdd9dc498ee937 YELLOW
MIRA.requirements_analysis.html ada36d9bb939c54636e00ace6698827f4b54a698 YELLOW
MIRA.useCases.html d340f8ced19a04daa89870036f701a313255822a YELLOW
MIRA.what_is_MIRA.html 5492e80f08b5d3e098a0d6f1a2025267a280af22 YELLOW
MSC.html bebed005f623dcb43f167fa57f8b746e5354f794 YELLOW
analyses_new.html 58dbf1c70d3a1e819829982cbb29ebf639686902 YELLOW
assume_guarantee_reasoning.html 9fc8887bb23d9e2cdd71df2de3980e570c352c89 YELLOW
beagle_java_deployment.html b2542a92eb8cd303244cb04cb4e6f109a6021bfd YELLOW
bound_check.html ec988cbf4fbf486b52435dae545970813e04ad3e YELLOW
code_generation.html 84a2fa0d21eda119338fbabd5d78a02b1bf627c8 YELLOW
code_specification.html 2c3ce5c45a64abfc4db3f985c2eb56d16106fe64 YELLOW
component_architecture.html 289ff0c463f53ea339e24abd0b141b3ac71c7e37 YELLOW
cosimulation_with_af3.html c7426a9649575b54357a5d1502154f912cae8f5c YELLOW
data_dictionary.html b2340bc2bc4942fda9df4414c938fb8d71837a01 YELLOW
dse_perspective.html 77de4369713c4ccc2e28f00bd949851abc9959f1 YELLOW
efficient_deployment.html 16697a2636b0709d190be6408c987f273e5063f6 YELLOW
external_tools.html b5008c5885ccd50ce50d73473ba89bee514eb9ba YELLOW
getting_started.html ef3bf56d1e0ef05858adc028a009339c636c09cf YELLOW
hierarchical_state_automaton.html 68319e80d3081e665c5118a7dd91b0ab8348be2b YELLOW
library.html 8b0841efb3c7c0217632f7db2bd633c106177faf YELLOW
loading_standard_examples.html 695b6071f864f2d78b0de06bc38405e7c1838ccb YELLOW
manual_deployment.html e8d3cf73819af2f4baa4b892d72efdc229603480 YELLOW
mode_automaton.html 37f399a897bbe6938966876a15e1564955f931a2 YELLOW
model_checking_with_af3.html a73d6e1cfac0f1a85b7bb280ed21053a8cb69469 YELLOW
model_element_attributes.html 8fcf629ff726024ade50a8e5d0c189f3187b34e5 YELLOW
model_markers_view.html ff19670043853a5aced9047374bacc985f98e6dc YELLOW
model_testing.html 17abe199e03c2ad8392163038684bd853ea33e4a YELLOW
non_determinism_analysis.html 5e15b296ca82d7da6e8d5d9cb6a0bdd839b41f93 YELLOW
ocra_contracts.html e328e585491212f73b9673210180e352306d3fb6 YELLOW
operatorpanels.html ecd6f0a9979def87c379f12c104d4d50d4d991c3 YELLOW
operatorpanels_advanced.html 8dc95a27fb2286ff50f29789b1429b7d0ad61b8c YELLOW
pikeos_code_generation.html 309171e02868a4511279c068d8251a8b6951a4d0 YELLOW
platform_architecture.html e2788c2cb8ef221bd6c5572dafdc206aff165598 YELLOW
process.html 89cbe5b79a267d0d1c2cfbcd4fc5d0b989ea3359 YELLOW
process_constraints.html 79d4696bfc28663d51ecb14ec2d6bcc06cd8da17 YELLOW
process_constraints_definition.html 5cd5c357f85810a0a1e77fd0f127a21573390584 YELLOW
process_definition.html a20359063b233074275ea80bf0d766e73e8b7325 YELLOW
process_usage.html 195755a80c1dbecbec7cbefb77423355f70fd756 YELLOW
reachability_analysis.html 37c35ce13126b92fa2c18fef4107586f613d2013 YELLOW
refactoring.html 595ed69da4bb9e755e81c4f6baacb1f3a2ec792f YELLOW
refinement.html 6358f558d41dce91de1a64a8dc6591f0aadd65df YELLOW
refinement_testing.html 675a68ba6e861d703a0a5f7995ffd42785c938c6 YELLOW
safety.html aef8f97a8f7eb0c19e7b9310a4de70273f09e354 YELLOW
safety_cases.html 409d124e075daa5fcd43ad5b9ef790ce1f93eada YELLOW
scheduling.html 43fdba56c53f885823393091b518cee05ad6d13e YELLOW
simulation_with_af3.html a1a51f6a2c83a9125f220c304ad3c654f9e0be6a YELLOW
state_automaton.html db19293013ffb030e65f14a330c8666d6de86c92 YELLOW
technical_architecture_generation.html 3aa51ebf10f7dc982fc95ad1c778166e492f2788 YELLOW
tipsAndTricks.html 3c8aa34084dc5511031c7cadeab8efb9a3c4ecd3 YELLOW
tl_specification.html 03c56efa12f6fb9a70893c4292ed346398c38ddd YELLOW
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment