Strona główna Odkrywaj Pomoc
Zaloguj się
jexelmans
/
thesis
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0
Drzewo: 53b32dcc5d
Gałęzie Tagi
thesis
/
images
Joeri Exelmans 5886922a88 Added background/BSML section on queueing of internal events. Added references to Rhapsody. Re-wrote part on priority implementation. Fixed casing of references. 5 lat temu
..
CD_Branches.drawio 116a8e5500 Initial commit 5 lat temu
CD_Branches.pdf 116a8e5500 Initial commit 5 lat temu
CD_Controller.drawio 116a8e5500 Initial commit 5 lat temu
CD_Controller.pdf 116a8e5500 Initial commit 5 lat temu
CD_Expression.drawio 116a8e5500 Initial commit 5 lat temu
CD_Expression.pdf 116a8e5500 Initial commit 5 lat temu
CD_Expression2.pdf 116a8e5500 Initial commit 5 lat temu
CD_Round.drawio 116a8e5500 Initial commit 5 lat temu
CD_Round.pdf 116a8e5500 Initial commit 5 lat temu
CD_SCCDType.drawio 116a8e5500 Initial commit 5 lat temu
CD_SCCDType.pdf 116a8e5500 Initial commit 5 lat temu
CD_Statement.drawio 116a8e5500 Initial commit 5 lat temu
CD_Statement.pdf 116a8e5500 Initial commit 5 lat temu
CD_Statement2.pdf 116a8e5500 Initial commit 5 lat temu
CD_action_language_other.drawio 116a8e5500 Initial commit 5 lat temu
CD_controller_eventloop.drawio 116a8e5500 Initial commit 5 lat temu
CD_controller_eventloop.pdf 116a8e5500 Initial commit 5 lat temu
CD_evaluation_execution.pdf 116a8e5500 Initial commit 5 lat temu
CD_funcdecl_scope.pdf 116a8e5500 Initial commit 5 lat temu
CD_memory_snapshot.drawio 116a8e5500 Initial commit 5 lat temu
CD_memory_snapshot.pdf 116a8e5500 Initial commit 5 lat temu
CD_old_controller_platforms.drawio 116a8e5500 Initial commit 5 lat temu
CD_old_controller_platforms.pdf 116a8e5500 Initial commit 5 lat temu
CD_old_controller_platforms.svg 116a8e5500 Initial commit 5 lat temu
CD_old_controller_platforms2.pdf 116a8e5500 Initial commit 5 lat temu
CD_state.drawio 116a8e5500 Initial commit 5 lat temu
CD_state.pdf 116a8e5500 Initial commit 5 lat temu
CD_statechart.drawio 116a8e5500 Initial commit 5 lat temu
CD_statechart.pdf 116a8e5500 Initial commit 5 lat temu
CD_static_analysis.pdf 116a8e5500 Initial commit 5 lat temu
CD_y=2x.drawio 116a8e5500 Initial commit 5 lat temu
CD_y=2x.pdf 116a8e5500 Initial commit 5 lat temu
SEQ_y=2x.pdf 116a8e5500 Initial commit 5 lat temu
SEQ_y=2x_2.pdf 116a8e5500 Initial commit 5 lat temu
UA-LogoText.png 116a8e5500 Initial commit 5 lat temu
UA-LogoTextC.png 116a8e5500 Initial commit 5 lat temu
ansymo_logo.pdf 116a8e5500 Initial commit 5 lat temu
ansymo_logo_medium.png 116a8e5500 Initial commit 5 lat temu
big_step.drawio 116a8e5500 Initial commit 5 lat temu
big_step.pdf 116a8e5500 Initial commit 5 lat temu
big_step_maximality.drawio 116a8e5500 Initial commit 5 lat temu
big_step_maximality.pdf 116a8e5500 Initial commit 5 lat temu
cd_parse_rules.drawio 116a8e5500 Initial commit 5 lat temu
cd_parse_rules.pdf 116a8e5500 Initial commit 5 lat temu
chatclient.png 116a8e5500 Initial commit 5 lat temu
checkpoint.drawio 116a8e5500 Initial commit 5 lat temu
checkpoint.pdf 116a8e5500 Initial commit 5 lat temu
controller_int_timestamps.drawio 116a8e5500 Initial commit 5 lat temu
controller_int_timestamps.pdf 116a8e5500 Initial commit 5 lat temu
cross_ortho_trans.drawio 116a8e5500 Initial commit 5 lat temu
cross_ortho_trans.pdf 116a8e5500 Initial commit 5 lat temu
dwatch.png 116a8e5500 Initial commit 5 lat temu
dwatch_semantics.drawio 116a8e5500 Initial commit 5 lat temu
dwatch_semantics.pdf 116a8e5500 Initial commit 5 lat temu
enter_exit_set.drawio 116a8e5500 Initial commit 5 lat temu
enter_exit_set.pdf 116a8e5500 Initial commit 5 lat temu
event_lifeline.pdf 116a8e5500 Initial commit 5 lat temu
history.drawio 116a8e5500 Initial commit 5 lat temu
history.pdf 116a8e5500 Initial commit 5 lat temu
interrupt1.pdf 116a8e5500 Initial commit 5 lat temu
interrupt2.pdf 116a8e5500 Initial commit 5 lat temu
late_long.drawio 116a8e5500 Initial commit 5 lat temu
late_long.pdf 116a8e5500 Initial commit 5 lat temu
light.drawio 116a8e5500 Initial commit 5 lat temu
light_blink_flat.pdf 116a8e5500 Initial commit 5 lat temu
light_enterexit.pdf 116a8e5500 Initial commit 5 lat temu
light_flat.pdf 116a8e5500 Initial commit 5 lat temu
light_hierarchy.pdf 116a8e5500 Initial commit 5 lat temu
light_onoff.pdf 116a8e5500 Initial commit 5 lat temu
lore.png 116a8e5500 Initial commit 5 lat temu
memory_protocol.drawio 116a8e5500 Initial commit 5 lat temu
memory_protocol.pdf 116a8e5500 Initial commit 5 lat temu
original SCCD.pdf 116a8e5500 Initial commit 5 lat temu
original SCCD.svg 116a8e5500 Initial commit 5 lat temu
original_sccd_features.pdf 116a8e5500 Initial commit 5 lat temu
package_dependencies.drawio 116a8e5500 Initial commit 5 lat temu
package_dependencies_nolabel.drawio 116a8e5500 Initial commit 5 lat temu
package_dependencies_nolabel.pdf 116a8e5500 Initial commit 5 lat temu
parser_analysis_execution.drawio 116a8e5500 Initial commit 5 lat temu
parser_analysis_execution.pdf 116a8e5500 Initial commit 5 lat temu
platforms.pdf 116a8e5500 Initial commit 5 lat temu
priority_arena_nondeterminism.drawio 5886922a88 Added background/BSML section on queueing of internal events. Added references to Rhapsody. Re-wrote part on priority implementation. Fixed casing of references. 5 lat temu
priority_arena_nondeterminism.pdf 5886922a88 Added background/BSML section on queueing of internal events. Added references to Rhapsody. Re-wrote part on priority implementation. Fixed casing of references. 5 lat temu
priority_example.drawio 116a8e5500 Initial commit 5 lat temu
priority_example.pdf 116a8e5500 Initial commit 5 lat temu
priority_example2.pdf 116a8e5500 Initial commit 5 lat temu
rounds_example.drawio 116a8e5500 Initial commit 5 lat temu
rounds_example.pdf 116a8e5500 Initial commit 5 lat temu
rounds_execution.drawio 116a8e5500 Initial commit 5 lat temu
rounds_execution.pdf 116a8e5500 Initial commit 5 lat temu
sc_chat.drawio 116a8e5500 Initial commit 5 lat temu
sc_chat2.drawio 116a8e5500 Initial commit 5 lat temu
sc_chat2_main.pdf 116a8e5500 Initial commit 5 lat temu
sc_chat_main.pdf 116a8e5500 Initial commit 5 lat temu
sc_chat_pinging.pdf 116a8e5500 Initial commit 5 lat temu
sc_chat_receiving.pdf 116a8e5500 Initial commit 5 lat temu
sc_counter.drawio 116a8e5500 Initial commit 5 lat temu
sc_counter.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch.drawio 116a8e5500 Initial commit 5 lat temu
sc_dwatch.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch_alarm.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch_alt_indiglo.drawio 116a8e5500 Initial commit 5 lat temu
sc_dwatch_alt_indiglo.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch_chrono.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch_display.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch_indiglo.pdf 116a8e5500 Initial commit 5 lat temu
sc_dwatch_time.pdf 116a8e5500 Initial commit 5 lat temu
sc_event_lifeline.drawio 116a8e5500 Initial commit 5 lat temu
sc_event_lifeline.pdf 116a8e5500 Initial commit 5 lat temu
sc_flat1.drawio 116a8e5500 Initial commit 5 lat temu
sc_flat1.pdf 116a8e5500 Initial commit 5 lat temu
sc_flat2.pdf 116a8e5500 Initial commit 5 lat temu
sc_flat3.pdf 116a8e5500 Initial commit 5 lat temu
sc_flat4.pdf 116a8e5500 Initial commit 5 lat temu
sc_ortho1.drawio 116a8e5500 Initial commit 5 lat temu
sc_ortho1.pdf 116a8e5500 Initial commit 5 lat temu
sc_ortho_instate.pdf 116a8e5500 Initial commit 5 lat temu
sc_ortho_intevent.pdf 116a8e5500 Initial commit 5 lat temu
sc_ortho_var.pdf 116a8e5500 Initial commit 5 lat temu
sc_regions.drawio 116a8e5500 Initial commit 5 lat temu
sc_regions.pdf 116a8e5500 Initial commit 5 lat temu
sc_scopes.drawio 116a8e5500 Initial commit 5 lat temu
sc_scopes.pdf 116a8e5500 Initial commit 5 lat temu
sc_stove.drawio 116a8e5500 Initial commit 5 lat temu
sc_stove.pdf 116a8e5500 Initial commit 5 lat temu
sc_takemany_button.drawio 116a8e5500 Initial commit 5 lat temu
sc_takemany_button.pdf 116a8e5500 Initial commit 5 lat temu
statechart_fig9_trafficlight.pdf 116a8e5500 Initial commit 5 lat temu
statechart_priority_hierarchical.pdf 116a8e5500 Initial commit 5 lat temu
statetree_simple.drawio 116a8e5500 Initial commit 5 lat temu
statetree_simple.pdf 116a8e5500 Initial commit 5 lat temu
statetree_stove.pdf 116a8e5500 Initial commit 5 lat temu
synchronizations.png 116a8e5500 Initial commit 5 lat temu
test_parallel.pdf 116a8e5500 Initial commit 5 lat temu
vcr.drawio 116a8e5500 Initial commit 5 lat temu
vcr_flat.pdf 116a8e5500 Initial commit 5 lat temu
vcr_flat_explosion.pdf 116a8e5500 Initial commit 5 lat temu
vcr_hierarchy.pdf 116a8e5500 Initial commit 5 lat temu
vcr_ortho.pdf 116a8e5500 Initial commit 5 lat temu
vcr_ortho_tree.pdf 116a8e5500 Initial commit 5 lat temu
vcr_tree.pdf 116a8e5500 Initial commit 5 lat temu
xml_init_execute.drawio 116a8e5500 Initial commit 5 lat temu
xml_init_execute.pdf 116a8e5500 Initial commit 5 lat temu